141. GWAI-84 :
پدیدآورنده : edited by Joachim Laubsch.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.
رده :
Q334
.
E358
1985
142. Genetic and Evolutionary Computation - GECCO 2003.
پدیدآورنده : Erick Cant-︢Paz
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ebooks -- UML.
143. Genetic programming :
پدیدآورنده : Mauro Castelli, Lukas Sekanina, Mengjie Zhang, Stefano Cagnoni, Pablo García-Sánchez (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Genetic programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Data mining.,Genetic programming (Computer science)
رده :
QA76
.
623
144. Graph Structures for Knowledge Representation and Reasoning
پدیدآورنده : edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence,Computer science,Computer software,Logic design,Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Techniques
145. Graph-theoretic concepts in computer science :
پدیدآورنده : Andreas Brandstädt, Ekkehard Köhler, Klaus Meer (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Graph theory-- Data processing, Congresses.,Algorithm Analysis and Problem Complexity.,Arithmetic and Logic Structures.,Computer Graphics.,Data Structures.,Discrete Mathematics in Computer Science.,Algorithms & data structures.,Computer science-- Mathematics.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Graph theory-- Data processing.,Graphics programming.
رده :
QA166
146. Grok 1.0 web development :
پدیدآورنده : Carlos de la Guardia.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Zope (Computer file),Zope (Computer file),Zope (Computer file),Object-oriented programming (Computer science),Python (Computer program language),Web site development.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,Object-oriented programming (Computer science),Object-oriented programming (Computer science),Python (Computer program language),Python (Computer program language),Web site development.,Web site development.
رده :
QA76
.
73
.
P98
G837
2010
147. Guide to discrete mathematics :
پدیدآورنده : Gerard O'Regan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.
رده :
QA76
.
9
.
M35
148. Handbook of graph grammars and computing by graph transformation.
پدیدآورنده : edited by Grzegorz Rozenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Graph grammars, Handbooks, manuals, etc.,Graph theory-- Data processing.,Graph grammars.,Graph theory-- Data processing.,MATHEMATICS-- Graphic Methods.
رده :
QA267
.
3
.
H364
1997eb
149. Home automation with Raspberry Pi :
پدیدآورنده : Donald Norris.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Home automation.,Raspberry Pi (Computer)-- Programming.,Home automation.
رده :
QA76
.
8
.
R15
150. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
151. Implementation and application of functional languages :
پدیدآورنده : Jurriaan Hage, Marco T. Morazán (eds)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Functional programming languages, Congresses,Functional programming languages-- Congresses
رده :
QA76
.
62
.
I58
2010
152. Implementations of Logic Programming Systems
پدیدآورنده : edited by Evan Tick, Giancarlo Succi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming.
رده :
QA76
.
63
E358
1994
153. Industrial Engineering in the Big Data Era :
پدیدآورنده : Fethi Calisir, Emre Cevikcan, Hatice Camgoz Akdag, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Industrial engineering, Congresses.,Industrial engineering.,TECHNOLOGY & ENGINEERING-- Industrial Engineering.,TECHNOLOGY & ENGINEERING-- Industrial Technology.,TECHNOLOGY & ENGINEERING-- Manufacturing.,TECHNOLOGY & ENGINEERING-- Technical & Manufacturing Industries & Trades.
رده :
T55
.
45
154. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems :
پدیدآورنده : edited by Fevzi Belli, Franz Josef Radermacher.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business.,Computer science.,Management science.
رده :
Q334
.
E358
1992
155. Information Infrastructure Systems for Manufacturing :
پدیدآورنده : edited by Jan Goossenaerts, Fumihiko Kimura, Hans Wortmann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Economics.
رده :
TS155
.
A1
E358
1997
156. Information Systems Engineering :
پدیدآورنده : by Arne Sølvberg, David Chenho Kung.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Management information systems.,Software engineering.
رده :
T58
.
5
B937
1993
157. Intellectics and Computational Logic
پدیدآورنده : edited by Steffen Hölldobler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Logic.,Philosophy (General).
158. Intelligent Hybrid Systems
پدیدآورنده : edited by Da Ruan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.
159. Intelligent Robotic Systems
پدیدآورنده : by Witold Jacak.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Computer science.,Computers.,Mechanical engineering.,Mechanical engineering.,Artificial Intelligence (incl. Robotics),Theory of Computation.
160. Intelligent spatial decision support systems.
پدیدآورنده : Yee Leung
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
HT388
.
Y445
2012
